// EXTRACTION_TARGET: property with initializer

val n: Int = 1

fun foo(): Int {
    return <selection>n+1</selection>
}